Although there exist a few good schemes to protect the kernel hooks of operating systems,attackers are still able to cir......

控制流结构中并发变迁的正确性是工作流模型正确性的基础.为保证模型的正确性,提出了资源语义约束工作流网的基本概念,丰富了控制......